Search for: All records

Mechanics instructors frequently employ hands-on demonstrations and activities in hopes of improving student learning outcomes. This paper presents results from a study exploring the effectiveness of a hands-on statics curriculum that spans several topics and is designed for implementation over multiple weeks. The modeling kit and associated series of activities integrates conceptual exploration with analysis procedure tutorials and aims to scaffold students’ development of representational competence, their ability to use multiple representations of a concept as appropriate for learning, problem solving, and communication. We conducted this study over two subsequent fall terms in multiple sections of a statics course at a mid-size public university. The intervention sections in fall 2023 were taught by two instructors who were both using the modeling kit for the first time. Both instructors administered a test of 3D vector concepts and representations called the Test of Representational Competence with Vectors (TRCV) in weeks 1 and at mid-term, the Mental Cutting Test (MCT) for spatial abilities in weeks 1 and at end-of-term (nine weeks later), and the Concept Assessment Test in Statics (CATS) at end of term. The control sections were taught by the same two instructors in fall 2022. These sections administered the same assessments on the same schedule but did not use the hands-on curriculum. We compare learning outcomes between the control and intervention sections as measured by the scores on the assessments described above as well as final course grades. We also share reflections from the two faculty participants regarding their experiences teaching with the models. 

P4Cub is a new intermediate representation (IR) for the P4 programming language. It has been designed with the goal of facilitating development of certified tools. To achieve this, P4Cub is organized around a small set of core constructs and avoids side effects in expressions, which avoids mutual recursion between the semantics of expressions and statements. Still, it retains the essential domain-specific features of P4 itself. P4Cub has a front-end based on Petr4, and has been fully mechanized in Coq including big-step and small-step semantics and a type system. As case studies, we have engineered several certified tools with P4Cub including proofs of type soundness, a verified compilation pass, and an automated verification tool.